$\forall$$A$, $B$, $C$, $D$:Type. $C$ $\subseteq\rho$ $A$ $\Rightarrow$ $B$ $\subseteq\rho$ $D$ $\Rightarrow$ ($A$$\rightarrow$$B$) $\subseteq\rho$ ($C$$\rightarrow$$D$)